منابع مشابه
A Type System for Higher-Order Modules (Expanded Version)
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules as first-class values. Our type system harmonizes design elements from previous work, resulting in a simple, economical account of modular programming. The main unifying principle is the treatment of abstraction mechani...
متن کاملA Discussion of Higher-Order Alexander Modules
We will discuss a technique to distinguish knots via an algebraic invariant, namely the Alexander module, which is a module associated to the universal abelian cover of the complement of a knot. We will present a generalization of the Alexander module by constructing modules corresponding to different regular covering spaces of the knot complement. We will present a numerical invariant that can...
متن کاملHigher-order modules in System Fω and Haskell
To argue that it is practical to extend core Haskell to support higher-order modules, we translate Dreyer, Crary, and Harper’s higher-order module system (2002, 2003) into System Fω. Our translation is the first to fully treat generative functors (with existential types) alongside applicative ones (with Skolemized types). Applicative functors correspond to higher-order polymorphism in idiomatic...
متن کاملEngineering Higher-Order Modules in SML/NJ
SML/NJ and other Standard ML variants extend the ML module system with higher-order functors, elevating the module language to a full functional language. In this paper, we describe the implementation of the higher-order module system in SML/NJ, which is unique in providing “true” higher-order behavior at the static level. This second generation implementation of higher-order modules in SML/NJ ...
متن کاملDynamic Modules in Higher-Order Languages
Providing programmers the ability to construct meaningful abstractions to help manage complexity is a serious language design issue. Many languages define a module system that can be used to specify distinct namespaces, and build user-defined data abstractions; however, few languages support dynamic modules, i.e., modules which are true first-class objects. In this paper, we define a module sem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/640128.604151